Susanne Graf: buscar en el sitio web de Z-Library

Donaciones 15 de septiembre 2024 – 1 de octubre 2024 Acerca de la recaudación de fondos

Libre acceso a los conocimientos y la cultura.

Donaciones 15 de septiembre 2024 – 1 de octubre 2024

Z-Library es una de las bibliotecas en línea más grandes del mundo que contiene más de 17,000,000 libros y 84,837,000 artículos. Nuestro objetivo es hacer que la literatura sea accesible para todos. Hoy (15 de septiembre 2024) hemos empezado a recaudar donaciones adicionales para el soporte y desarrollo del proyecto.

También hay descargas ILIMITADAS (durante 31 días después del día de la donación) disponibles para TODOS los usuarios que apoyen el proyecto durante el período de recaudación de fondos hasta el 1 de octubre 2024.

Acerca de la recaudación de fondosVer más

Hacer una donación

Libros (27)
Más populares
Lista
- Lista
- Tabla

1

Fachbereichsarbeit - Die Götter der Kelten

Fachbereichsarbeit - Die Götter der Kelten

Idioma:

german

Archivo:

PDF, 2.96 MB

0 / 0

german

2

Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

Springer-Verlag Berlin Heidelberg

Lars Frantzen, Jan Tretmans (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Año:

2007

Idioma:

english

Archivo:

PDF, 3.18 MB

0 / 0

english, 2007

3

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Springer-Verlag Berlin Heidelberg

Albert Benveniste, Benoît Caillaud (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Año:

2004

Idioma:

english

Archivo:

PDF, 7.29 MB

0 / 0

english, 2004

4

Aceh: History, Politics and Culture

Aceh: History, Politics and Culture

ISEAS Publishing

Arndt Graf (editor), Susanne Schroter (editor), Edwin Wieringa (editor)

Año:

2010

Idioma:

english

Archivo:

PDF, 5.10 MB

0 / 0

english, 2010

5

Formal Techniques for Networked and Distributed Systems – FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings

Formal Techniques for Networked and Distributed Systems – FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Susanne Graf, Sophie Quinton (auth.), John Derrick, Jüri Vain (eds.)

Año:

2007

Idioma:

english

Archivo:

PDF, 5.35 MB

0 / 0

english, 2007

6

Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, Ju

Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, Ju

Springer International Publishing

Susanne Graf, Mahesh Viswanathan (eds.)

Año:

2015

Idioma:

english

Archivo:

PDF, 5.57 MB

0 / 0

english, 2015

7

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Año:

2008

Idioma:

english

Archivo:

PDF, 6.30 MB

0 / 0

english, 2008

8

Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings

Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Reinhard Wilhelm (auth.), Susanne Graf, Laurent Mounier (eds.)

Año:

2004

Idioma:

english

Archivo:

PDF, 3.14 MB

0 / 0

english, 2004

9

Lebendköder

Lebendköder

Año:

2018

Idioma:

german

Archivo:

EPUB, 596 KB

0 / 0

german, 2018

10

Berberidaceae -- Cornaceae

Berberidaceae -- Cornaceae

Susanne Graf, Laurent Mounier

Año:

1931

Idioma:

russian

Archivo:

DJVU, 17.57 MB

0 / 0

russian, 1931

11

Lebendköder

Lebendköder

Idioma:

german

Archivo:

EPUB, 597 KB

0 / 0

german

12

Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Springer International Publishing

Tiziana Margaria, Susanne Graf, Kim G. Larsen

Año:

2019

Idioma:

english

Archivo:

PDF, 19.57 MB

0 / 0

english, 2019

13

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Pierre Wolper, Bernard Boigelot (auth.), Susanne Graf, Michael Schwartzbach (eds.)

Año:

2000

Idioma:

english

Archivo:

PDF, 5.36 MB

0 / 0

english, 2000

14

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Año:

2008

Idioma:

english

Archivo:

PDF, 7.96 MB

0 / 0

english, 2008

15

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures ... / Programming and Software Engineering)

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures ... / Programming and Software Engineering)

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Año:

2005

Idioma:

english

Archivo:

PDF, 3.81 MB

0 / 0

english, 2005

16

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Springer-Verlag Berlin Heidelberg

Kung-Kiu Lau, Mario Ornaghi, Zheng Wang (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Año:

2006

Idioma:

english

Archivo:

PDF, 3.85 MB

0 / 0

english, 2006

17

Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings

Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Mihalis Yannakakis (auth.), Susanne Graf, Wenhui Zhang (eds.)

Año:

2006

Idioma:

english

Archivo:

PDF, 7.95 MB

0 / 0

english, 2006

18

Psychoanalyse in der Weiterbildung: Zur Professionalisierung sozialer Arbeit

Psychoanalyse in der Weiterbildung: Zur Professionalisierung sozialer Arbeit

VS Verlag für Sozialwissenschaften

Manfred Clemenz, Christel Beier, Sylvia Buchen, Heinrich Deserno, Adrian Gaertner, Susanne Graf-Deserno (auth.)

Año:

1992

Idioma:

german

Archivo:

PDF, 3.96 MB

0 / 0

german, 1992

19

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Año:

2008

Idioma:

english

Archivo:

PDF, 4.93 MB

0 / 0

english, 2008

20

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

Springer-Verlag Berlin Heidelberg

Erika Ábrahám, Frank S. de Boer (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Año:

2003

Idioma:

english

Archivo:

PDF, 3.87 MB

0 / 0

english, 2003

21

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Springer-Verlag Berlin Heidelberg

Albert Benveniste, Benoît Caillaud (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Año:

2004

Idioma:

english

Archivo:

PDF, 9.52 MB

0 / 0

english, 2004

22

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Pierre Wolper, Bernard Boigelot (auth.), Susanne Graf, Michael Schwartzbach (eds.)

Año:

2000

Idioma:

english

Archivo:

PDF, 7.14 MB

0 / 0

english, 2000

23

Models in Software Engineering: Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers

Models in Software Engineering: Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Iulian Ober, Stefan Van Baelen, Susanne Graf, Mamoun Filali, Thomas Weigert (auth.), Michel R. V. Chaudron (eds.)

Año:

2009

Idioma:

english

Archivo:

PDF, 9.02 MB

0 / 0

english, 2009

24

Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings

Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Reinhard Wilhelm (auth.), Susanne Graf, Laurent Mounier (eds.)

Año:

2004

Idioma:

english

Archivo:

PDF, 5.53 MB

0 / 0

english, 2004

25

COTS-Based Software Systems: 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005. Proceedings

COTS-Based Software Systems: 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Ivica Crnkovic, Jakob Axelsson, Susanne Graf, Magnus Larsson, Rob van Ommering (auth.), Xavier Franch, Daniel Port (eds.)

Año:

2005

Idioma:

english

Archivo:

DJVU, 3.39 MB

0 / 0

english, 2005

26

COTS-Based Software Systems: 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005. Proceedings

COTS-Based Software Systems: 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Ivica Crnkovic, Jakob Axelsson, Susanne Graf, Magnus Larsson, Rob van Ommering (auth.), Xavier Franch, Daniel Port (eds.)

Año:

2005

Idioma:

english

Archivo:

PDF, 2.66 MB

0 / 0

english, 2005

27

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Springer-Verlag Berlin Heidelberg

Kung-Kiu Lau, Mario Ornaghi, Zheng Wang (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Año:

2006

Idioma:

english

Archivo:

PDF, 3.67 MB

0 / 0

english, 2006